widget: Rename width and height member to {width,height}_request
authorTimm Bäder <mail@baedert.org>
Sat, 21 Jul 2018 10:28:14 +0000 (12:28 +0200)
committerTimm Bäder <mail@baedert.org>
Sun, 5 Aug 2018 08:22:11 +0000 (10:22 +0200)
commitab30850aad59df6eb15a4965ecef86eb6d0dee22
treebce2ada2e35d07aebecf10f965f3777c4420d1e8
parentf5e04b59e9134b79c941d986e0a95f11d3ee8e8e
widget: Rename width and height member to {width,height}_request

Because that's much closer to the meaning of those values.
gtk/gtkwidget.c
gtk/gtkwidgetprivate.h